منابع مشابه
A Note on Constructive Modalities for Information
Kurt Gödel (1933) proved the formal correspondence between the intuitionistic truth of a formula F and its classical provability via modal necessity: if F is derivable in a calculus for intuitionistic logic, a translation of F such that each of its subformulas is prefixed by a necessity operator can be derived in the modal language S4. The inverse implication was established few years later by ...
متن کاملA Note on Shape Matching using a Constructive Relaxation Method
This paper discusses a novel approach for image shape matching to a set of premodelled templates, named as Constructive Relaxation Matching (CRM). In CRM, the modeling stage for a novel input image, conventionally done in the same procedure used for the template modeling, will be included in the procedure of iterative relaxation. Upon dynamically constructing the model during relaxation, object...
متن کاملA note on constructive semantics for description logics
Following the approaches and motivations given in recent works about constructive interpretation of description logics, we introduce the constructive description logic KALC. This logic is based on a Kripke-style semantics inspired by the Kripke semantics for Intuitionistic first order logic. In the paper we present the main features of our semantics and we study its relations with other approac...
متن کاملA note on Bar Induction in Constructive Set Theory
Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive ZermeloFraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1-consistency of CZF. This answers a question of P. Aczel who used Bar Induction to give a proof of the Lusin Separation Theorem in the constr...
متن کاملA Note on Constructive Methods in Banach Algebras
proof. We let I denote the ideal generated by /<, i.e. the set of all functions of the form ¿2figiWe wish to show that 1 belongs to I. We assume that 17aA. First, we extend I to a maximal ideal J, invoking the axiom of choice. Second, we observe that / is closed. Third, we form the quotient Banach algebra A/J. Fourth, we use the Gelfand-Mazur theorem to deduce that there is a homomorphism of A ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of the Japan Association for Philosophy of Science
سال: 1964
ISSN: 0453-0691,1884-1228
DOI: 10.4288/jafpos1956.2.189